- Automated Library Systems International
- Trademark term: ALSI
Универсальный русско-английский словарь. Академик.ру. 2011.
Универсальный русско-английский словарь. Академик.ру. 2011.
Automated reasoning — is an area of computer science dedicated to understand different aspects of reasoning. The study in automated reasoning helps produce software which allows computers to reason completely, or nearly completely, automatically. Although automated… … Wikipedia
library — /luy brer ee, breuh ree, bree/, n., pl. libraries. 1. a place set apart to contain books, periodicals, and other material for reading, viewing, listening, study, or reference, as a room, set of rooms, or building where books may be read or… … Universalium
Automated theorem proving — (ATP) or automated deduction, currently the most well developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program. Decidability of the problem Depending on the underlying logic, the problem of… … Wikipedia
Automated Tissue Image Systems — (ATIS) are computer controlled automatic test equipment (ATE) systems classified as medical device and used as pathology laboratory tools (tissue based cancer diagnostics) to characterize a stained tissue sample embedded on a bar coded glass… … Wikipedia
International Space Station — ISS redirects here. For other uses, see ISS (disambiguation). International Space Station … Wikipedia
International Space Station program — The International Space Station program is tied together by a complex set of legal, political and financial agreements between the fifteen nations involved in the project, governing ownership of the various components, rights to crewing and… … Wikipedia
Computers and Information Systems — ▪ 2009 Introduction Smartphone: The New Computer. The market for the smartphone in reality a handheld computer for Web browsing, e mail, music, and video that was integrated with a cellular telephone continued to grow in 2008. According to… … Universalium
Hamilton Library — Infobox Library library name = University of Hawaii at Manoa library location = Honolulu, Hawaii established = num branches = annual circulation = annual circulation = pop served = 60,000 students (University of Hawaii) budget = $14,699,735… … Wikipedia
Denver International Airport — This article is about the current airport opened since 1995. For the airport previously serving Denver, Colorado, see Stapleton International Airport. Denver International Airport … Wikipedia
Digital library — A digital library is a library in which collections are stored in digital formats (as opposed to print, microform, or other media) and accessible by computers.[1] The digital content may be stored locally, or accessed remotely via computer… … Wikipedia
Information Technology Infrastructure Library — The Information Technology Infrastructure Library (I), is a set of good practices for IT service management (ITSM) that focuses on aligning IT services with the needs of business. In its current form (known as ITILv3 and ITIL 2011 edition), ITIL… … Wikipedia